10 Optimizations on Linear Search
نویسندگان
چکیده
منابع مشابه
on the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولLinear tabling strategies and optimizations
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including program analysis, parsing, deductive databases, theorem proving, model checking, and logic-based probabilistic learning. The main idea of tabling is to memorize the answers to some subgoals and use the answers to resolve sub...
متن کاملEncoding of Planning Problems and Their Optimizations in Linear Logic
Girard’s Linear Logic is a formalism which can be used to manage a lot of problems with consumable resources. Its expressiveness is quite good for an easily understandable encoding of many problems. We concentrated on expressing planning problems by linear logic in this paper. We observed a rich usage of a construct of consumable resources in planning problem formulations. This fact motivates u...
متن کاملOn the Competitiveness of Linear Search
We reexamine ooine techniques for linear search. Under a reasonable model of computation, a method is given to perform ooine linear search in amortized cost proportional to the entropy of the request sequence. It follows that no online technique can have an amortized cost of that which one could obtain if given the request sequence in advance, i.e., there is no competitive linear search algorithm.
متن کاملLinear and Combinatorial Optimizations by Estimation of Distribution Algorithms
Estimation of Distribution Algorithms (EDAs) is a new area of Evolutionary Computation. In EDAs there is neither crossover nor mutation operators. New population is generated by sampling the probability distribution, which is estimated from a database containing selected individuals of the previous generation. Different approaches have been proposed for the estimation of probability distributio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2016
ISSN: 1542-7730,1542-7749
DOI: 10.1145/2984629.2984631